Optimal. Leaf size=62 \[ \frac {A \tan ^3(e+f x)}{3 a^2 c^2 f}+\frac {A \tan (e+f x)}{a^2 c^2 f}+\frac {B \sec ^3(e+f x)}{3 a^2 c^2 f} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.14, antiderivative size = 62, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 36, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.083, Rules used = {2967, 2669, 3767} \[ \frac {A \tan ^3(e+f x)}{3 a^2 c^2 f}+\frac {A \tan (e+f x)}{a^2 c^2 f}+\frac {B \sec ^3(e+f x)}{3 a^2 c^2 f} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2669
Rule 2967
Rule 3767
Rubi steps
\begin {align*} \int \frac {A+B \sin (e+f x)}{(a+a \sin (e+f x))^2 (c-c \sin (e+f x))^2} \, dx &=\frac {\int \sec ^4(e+f x) (A+B \sin (e+f x)) \, dx}{a^2 c^2}\\ &=\frac {B \sec ^3(e+f x)}{3 a^2 c^2 f}+\frac {A \int \sec ^4(e+f x) \, dx}{a^2 c^2}\\ &=\frac {B \sec ^3(e+f x)}{3 a^2 c^2 f}-\frac {A \operatorname {Subst}\left (\int \left (1+x^2\right ) \, dx,x,-\tan (e+f x)\right )}{a^2 c^2 f}\\ &=\frac {B \sec ^3(e+f x)}{3 a^2 c^2 f}+\frac {A \tan (e+f x)}{a^2 c^2 f}+\frac {A \tan ^3(e+f x)}{3 a^2 c^2 f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.12, size = 53, normalized size = 0.85 \[ \frac {A \left (\frac {1}{3} \tan ^3(e+f x)+\tan (e+f x)\right )}{a^2 c^2 f}+\frac {B \sec ^3(e+f x)}{3 a^2 c^2 f} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.42, size = 41, normalized size = 0.66 \[ \frac {{\left (2 \, A \cos \left (f x + e\right )^{2} + A\right )} \sin \left (f x + e\right ) + B}{3 \, a^{2} c^{2} f \cos \left (f x + e\right )^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.20, size = 87, normalized size = 1.40 \[ -\frac {2 \, {\left (3 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} + 3 \, B \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 2 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 3 \, A \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + B\right )}}{3 \, {\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - 1\right )}^{3} a^{2} c^{2} f} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.35, size = 145, normalized size = 2.34 \[ \frac {-\frac {2 \left (\frac {A}{2}+\frac {B}{2}\right )}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{3}}-\frac {\frac {A}{2}+\frac {B}{2}}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{2}}-\frac {2 \left (\frac {A}{2}+\frac {B}{4}\right )}{\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1}-\frac {-\frac {A}{2}+\frac {B}{2}}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )^{2}}-\frac {2 \left (\frac {A}{2}-\frac {B}{2}\right )}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )^{3}}-\frac {2 \left (\frac {A}{2}-\frac {B}{4}\right )}{\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1}}{f \,a^{2} c^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.39, size = 47, normalized size = 0.76 \[ \frac {\frac {{\left (\tan \left (f x + e\right )^{3} + 3 \, \tan \left (f x + e\right )\right )} A}{a^{2} c^{2}} + \frac {B}{a^{2} c^{2} \cos \left (f x + e\right )^{3}}}{3 \, f} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 12.38, size = 82, normalized size = 1.32 \[ -\frac {2\,\left (3\,A\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^5+3\,B\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^4-2\,A\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^3+3\,A\,\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )+B\right )}{3\,a^2\,c^2\,f\,{\left ({\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^2-1\right )}^3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 7.63, size = 469, normalized size = 7.56 \[ \begin {cases} - \frac {6 A \tan ^{5}{\left (\frac {e}{2} + \frac {f x}{2} \right )}}{3 a^{2} c^{2} f \tan ^{6}{\left (\frac {e}{2} + \frac {f x}{2} \right )} - 9 a^{2} c^{2} f \tan ^{4}{\left (\frac {e}{2} + \frac {f x}{2} \right )} + 9 a^{2} c^{2} f \tan ^{2}{\left (\frac {e}{2} + \frac {f x}{2} \right )} - 3 a^{2} c^{2} f} + \frac {4 A \tan ^{3}{\left (\frac {e}{2} + \frac {f x}{2} \right )}}{3 a^{2} c^{2} f \tan ^{6}{\left (\frac {e}{2} + \frac {f x}{2} \right )} - 9 a^{2} c^{2} f \tan ^{4}{\left (\frac {e}{2} + \frac {f x}{2} \right )} + 9 a^{2} c^{2} f \tan ^{2}{\left (\frac {e}{2} + \frac {f x}{2} \right )} - 3 a^{2} c^{2} f} - \frac {6 A \tan {\left (\frac {e}{2} + \frac {f x}{2} \right )}}{3 a^{2} c^{2} f \tan ^{6}{\left (\frac {e}{2} + \frac {f x}{2} \right )} - 9 a^{2} c^{2} f \tan ^{4}{\left (\frac {e}{2} + \frac {f x}{2} \right )} + 9 a^{2} c^{2} f \tan ^{2}{\left (\frac {e}{2} + \frac {f x}{2} \right )} - 3 a^{2} c^{2} f} - \frac {6 B \tan ^{4}{\left (\frac {e}{2} + \frac {f x}{2} \right )}}{3 a^{2} c^{2} f \tan ^{6}{\left (\frac {e}{2} + \frac {f x}{2} \right )} - 9 a^{2} c^{2} f \tan ^{4}{\left (\frac {e}{2} + \frac {f x}{2} \right )} + 9 a^{2} c^{2} f \tan ^{2}{\left (\frac {e}{2} + \frac {f x}{2} \right )} - 3 a^{2} c^{2} f} - \frac {2 B}{3 a^{2} c^{2} f \tan ^{6}{\left (\frac {e}{2} + \frac {f x}{2} \right )} - 9 a^{2} c^{2} f \tan ^{4}{\left (\frac {e}{2} + \frac {f x}{2} \right )} + 9 a^{2} c^{2} f \tan ^{2}{\left (\frac {e}{2} + \frac {f x}{2} \right )} - 3 a^{2} c^{2} f} & \text {for}\: f \neq 0 \\\frac {x \left (A + B \sin {\relax (e )}\right )}{\left (a \sin {\relax (e )} + a\right )^{2} \left (- c \sin {\relax (e )} + c\right )^{2}} & \text {otherwise} \end {cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________